大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Long Ashton Symposium (6th : 1977) 的图书(共3725本)

Advances in Intelligent Data Analysis XI [electronic resource] : 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings

0
索取号:
作者:Hollm茅n、 Jaakko.、Klawonn、 Frank.、Tucker、 Allan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

String Processing and Information Retrieval [electronic resource] : 19th International Symposium, SPIRE 2012, Cartagena de Indias, Colombia, October 21-25, 2012. Proceedings

0
索取号:
作者:Calder贸n-Benavides、 Liliana.、Gonz谩lez-Caro、 Cristina.、Ch谩vez、 Edgar.、Ziviani、 Nivio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号:
作者:Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change [electronic resource] : 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Algorithmic Game Theory [electronic resource] : 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings

0
索取号:
作者:Serna、 Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

The Dynamics of Global Sourcing. Perspectives and Practices [electronic resource] : 6th Global Sourcing Workshop 2012, Courchevel, France, March 12-15, 2012, Revised Selected Papers

0
索取号:
作者:Kotlarsky、 Julia.、Oshri、 Ilan.、Willcocks、 Leslie P.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Communicability, Computer Graphics and Innovative Design for Interactive Systems [electronic resource] : First International Symposium, CCGIDIS 2011, C贸rdoba, Spain, June 28-29, 2011, Revised Selected Papers

0
索取号:
作者:Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Network Security [electronic resource] : 6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, St. Petersburg, Russia, October 17-19, 2012. Proceedings

0
索取号:
作者:Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Practical Aspects of Design Science [electronic resource] : European Design Science Symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers

0
索取号:
作者:Helfert、 Markus.、Donnellan、 Brian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Graph Transformations [electronic resource] : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings

0
索取号:
作者:Ehrig、 Hartmut.、Engels、 Gregor.、Kreowski、 Hans-J枚rg.、Rozenberg、 Grzegorz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Distributed Computing [electronic resource] : 26th International Symposium, DISC 2012, Salvador, Brazil, October 16-18, 2012. Proceedings

0
索取号:
作者:Aguilera、 Marcos K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012. Proceedings

0
索取号:
作者:Richa、 Andr茅a W.、Scheideler、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Reachability Problems [electronic resource] : 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

0
索取号:
作者:Finkel、 Alain.、Leroux、 J茅r么me.、Potapov、 Igor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Open Source Systems: Long-Term Sustainability [electronic resource] : 8th IFIP WG 2.13 International Conference, OSS 2012, Hammamet, Tunisia, September 10-13, 2012. Proceedings

0
索取号:
作者:Hammouda、 Imed.、Lundell、 Bj枚rn.、Mikkonen、 Tommi.、Scacchi、 Walt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings

0
索取号:
作者:Chakraborty、 Supratik.、Mukund、 Madhavan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.